\section{Related Work}
\label{section:related_work}

{\bf People will do respective subsections}

Topics:
\begin{itemize}
\item Co-evolution
\item Proving properties of Model transformations
\item Transforming/migrating product lines (MathWorks, cf. discussion with Len
Wozniak).
\item Variability-aware techniques other than model transformations
\end{itemize}

\levi{for DSLTrans we can add the work on DSLs from Markus Volter~\cite{ratiu12} and also the VOLT survey and attached papers. We can either just add the reference to the VOLT paper or add the references inside the VOLT paper itself.}
\mf{In their paper~\cite{ratiu12}, Voelter et al also cite this
paper by P.James~\cite{james11}, as an example of a DSL specifically for verification.
James has done follow-on work on this, see
\url{http://cs.swansea.ac.uk/~cspj/index.php/publications}}

 \subsection{Proving Model Transformation Properties}
 \label{subsec:rw_provingMTprops}
 \input{relatedWork_ProvingMTProps}
